منابع مشابه
ARIANE 5 Flight 501 Failure
FOREWORD On 4 June 1996, the maiden flight of the Ariane 5 launcher ended in a failure. Only about 40 seconds after initiation of the flight sequence, at an altitude of about 3700 m, the launcher veered off its flight path, broke up and exploded. Engineers from the Ariane 5 project teams of CNES and Industry immediately started to investigate the failure. Over the following days, the Director G...
متن کاملAriane: An Awareness Mechanism for Shared Databases
Awareness is an essential requirement in collaborative activities. This paper presents Ariane, a generic and reusable awareness infrastructure, independent of a specific application or DBMS. Ariane improves the availability of awareness information to different cooperative applications by monitoring the application persistence mechanism. A prototype of Ariane was developed using the Java Data O...
متن کاملModel Checking Ariane-5 Flight Program
This paper reports a veriication experiment carried out on a re-engineered description of a part of Ariane-5 Flight Program. This is the embedded software which solely controls the Ariane-5 launcher during its ight, from the ground, through the atmosphere and up to the nal orbit. In this case study, the Sdl language was used to describe the main functional behavior of the ight program including...
متن کاملThe project ARIANE: conceptual queries to information databases.
As information databases we consider all the collections of data records indexed by key-words, stored and delivered by computer systems. In previous research works we demonstrated the interest to design a conceptual model, in the conceptual graphs formalism, and to implement a computational model for information retrieval in large information databases. These models are based on the UMLS knowle...
متن کاملARIANE: A Mediation Framework with Health Information Sources
OBJECTIVES to design and implement mediators dedicated to access heterogeneous information sources in a homogeneous way. METHOD processes translate a query into the syntax of a target source built thanks to the UMLS knowledge sources and a catalog of information sources. Communication services connect users with information sources at the point they deliver results. RESULTS examples show th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1981
ISSN: 0028-0836,1476-4687
DOI: 10.1038/293095b0